منابع مشابه
Silicon Tetrafluoride on Io
Silicon tetrafluoride (SiF4) is observed in terrestrial volcanic gases and is predicted to be the major F – bearing species in low temperature volcanic gases on Io (Schaefer and Fegley, 2005b). SiF4 gas is also a potential indicator of silica – rich crust on Io. We used F/S ratios in terrestrial and extraterrestrial basalts, and gas/lava enrichment factors for F and S measured at terrestrial vo...
متن کاملChapter 43 - Volcanism on Io
differentiation The process by which planets and satellites develop layers or zones of different chemical and mineralogical composition. flyby Term used to describe the close approach of a spacecraft to a body, without the spacecraft going into orbit around that body. Galilean satellites The four largest satellites of Jupiter (Io, Europa, Ganymede, Callisto), named after their discoverer Galile...
متن کاملOn Necessary Padding with IO
We show that the common proof technique of padding a circuit before IO obfuscation is sometimes necessary. That is, assuming indistinguishability obfuscation (IO) and one-way functions exist, we define samplers Sam0, which outputs (aux0, C0), and Sam1, which outputs (aux1, C1) such that: • The distributions (aux0, iO(C0)) and (aux1, iO(C1)) are perfectly distinguishable. • For padding s = poly(...
متن کاملThe history of tectonism on Venus: A stratigraphic analysis
The surface of Venus displays several tectonized terrains in which the morphologic characteristics of the original materials are almost completely erased by superposed tectonic structures whose large dimensions (»100 km) suggest formation related to mantle convection. The characteristics of these tectonized terrains are in contrast to volcanic units in which tectonic structures are less signifi...
متن کاملPetascale IO Using The Adaptable IO System
ADIOS, the adaptable IO system, has demonstrated excellent scalability to 29,000 cores. With the introduction of the XT5 upgrades to Jaguar, new optimizations are required to successfully reach 140,000+ cores. This paper explains the techniques employed and shows the performance levels attained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Geophysical Research
سال: 2003
ISSN: 0148-0227
DOI: 10.1029/2002je001946